Staged Program Repair in SPR
نویسندگان
چکیده
We present SPR, a new program repair system that uses condition synthesis to instantiate transformation schemas to repair program defects. SPR’s staged repair strategy combines a rich space of potential repairs with a targeted search algorithm that makes this space viably searchable in practice. This strategy enables SPR to successfully find correct program repairs within a space that contains many meaningful and useful patches. The majority of these correct repairs are not within the search spaces of previous automatic program repair systems.
منابع مشابه
SPR-5 is a histone H3K4 demethylase with a role in meiotic double-strand break repair.
Regulation of histone methylation levels has long been implicated in multiple cellular processes, many of which involve transcription. Here, however, we report a unique role for the Caenorhabditis elegans histone demethylase SPR-5 in meiotic DNA double-strand break repair (DSBR). SPR-5 shows enzymatic activity toward H3K4me2 both in vitro and in the nematode germline, and spr-5 mutants show sev...
متن کاملSingle institutional experience of interrupted aortic arch repair over 28 years.
A single institutional outcome of the biventricular repair for congenital heart disease with interrupted aortic arch between 1982 and 2010 were retrospectively reviewed. There were 48 consecutive patients with a mean follow-up of 10.0 ± 7.9 years. The staged repair was applied in 27 patients, and primary complete repair was applied in 21. The actuarial survival was 79.0% at 10 years. There was ...
متن کاملEarly and Late Complications Following Surgical Repair of Hirschsprung's Disease in Pediatric Patients: Single-staged Versus Multiple-Staged Pull through
Background: Early diagnosis and repair make a better prognosis in Hirschsprung's disease (HD) patients. Two basic approaches, namely single staged and multiple staged pull through are commonly applied to treat such patients. In this study we tried to compare short-term and long-term complications of the two procedures to provide a guide for choosing the safer and more effective approach. Method...
متن کاملCommon arterial trunk: current implementation of the primary and staged repair strategies.
OBJECTIVES In this study, we report our experience on the primary and staged surgical approaches for common arterial trunk (CAT) repair. METHODS Between August 2003 and February 2015, 16 consecutive patients underwent CAT repair in our institution. Two different approaches have been followed: group 'primary repair' (PR) consists of patients suitable for straightforward CAT repair, who underwe...
متن کاملPlanned Staged Repair of Thoracoabdominal Aortic Aneurysms to Minimize Spinal Cord Injury: A Proof of Concept.
Management of thoracoabdominal aortic aneurysms (TAA) can lead to spinal cord injury. A variety of clinical adjuncts have proven to decrease the incidence of paraplegia; however, at least 10% patients remain at risk of developing paraplegia. Experimentally and in sporadic clinical experiences, the staged repair of TAAs can lead to better neurologic outcomes. We present two clinical cases with e...
متن کامل